41. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
42. A course in mathematical logic for mathematicians
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
43. <A> course in mathematical logic for mathematicians
پدیدآورنده : \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
44. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
45. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994
46. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994
47. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
S684C6
2013
48. A course on mathematical logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
49. A course on mathematical logic
پدیدآورنده : / Shashi Mohan Srivastava
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.
50. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S684C6
51. A course on mathematical logic
پدیدآورنده : Shashi Mohan Srivastava
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S65
2013
52. A first course in logic
پدیدآورنده : / Shawn Hedman
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic.,Logic, Symbolic and mathematical.
رده :
QA9
,.
H36
,
2004
53. A first course in logic
پدیدآورنده : / Shawn Shawn
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,symbolic and mathematical
رده :
511
.
3
H452f
54. A first course in logic /
پدیدآورنده : Mark V. Lawson, Heriot-Watt University, Edinburgh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
55. A first course in logic
پدیدآورنده : Shawn Hedman,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Logic,Logic -- Symbolic and mathematical
رده :
QA
.
H36
9
2004
56. A first course in logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;
57. A first course in logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic. ; Logic, Symbolic and mathematical. ;
58. A first course in logic
پدیدآورنده : / Shawn Hedman
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic,Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
59. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده : Hedman, Shawn.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Logic,، Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
60. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده : Hedman, Shawn
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
H43F5
